|
|
DWF_DS_01 - InteractionUse referenced scenario check |
|---|---|
| This rule checks that an Interaction uses correctly references of a scenario. | |
|
DWF_DS_02 - Role instance type check |
|---|---|
| This rule checks that an Instance Role is correctly typed. | |
|
|
DWF_DS_03 - Scenario sequence message invoked operations check 1 |
|---|---|
| This rule checks that sequence messages have an invoked operation. | |
|
|
DWF_DS_04 - Scenario sequence message invoked operations check 2 |
|---|---|
| This rule checks that sequence messages have a correct invoked operation (sender shall use/require operation's interface and receiver shall implement/provide operation's interface). | |
|
|
DWF_DS_05 - Scenario sequence messages justification check 1 |
|---|---|
| This rule checks that sequence messages are justified in sender/receiver Components terms between scenarios from different levels. | |
|
|
DWF_DS_06 - Scenario sequence messages justification check 2 |
|---|---|
| This rule checks that sequence messages are justified in Operation terms between scenarios from different levels. | |
|
|
DWF_DS_07 - Sequence Messages not null invoked operation check |
|---|---|
| This rule checks that Sequence Messages have a not null invoked operation. | |
|
|
DWF_DS_08 - Ordering of interaction fragments |
|---|---|
| This rule checks that scenarios have a coherent ordering, i.e. finish of time lapses are after the corresponding beginning. | |
|
|
DWF_DS_09 - Sequence message allocated exchange items |
|---|---|
| This rule ensures that a sequence message does not allocate exchange items which are not allocated by invoked operation of sequence message. | |
|
|
DWF_DS_10 - Consistency of Scenario Kind vs level |
|---|---|
| This rule checks the consistency between Scenario kind and Level:
On OA level, only INTERACTION Scenarios are allowed, On SYS/LC/PC levels, only DATA_FLOW, INTERFACE and FUNCTIONAL Scenarii are allowed, On EPBS level, only INTERFACE Scenarios are allowed. Whatever the level, UNSET Scenarios raise an error. |
|
|
|
DWF_DS_11 - Scenario branchs sequence messages order check |
|---|---|
| This rule checks that sender and reply branches sequence messages are not inverted. | |
|
|
DWF_DS_12 - Scenario sequence messages and operations / functional exchanges consistency |
|---|---|
| This rule checks name consistency between operations / functional exchanges and sequence messages. | |
|
|
DWF_DS_13 - Timer must be a reflexive message |
|---|---|
| This rule checks that an arm timer or cancel timer message is reflexive. | |
|
|
DWF_DS_14 - A cancel timer must be within an arm timer |
|---|---|
| This rule checks that a cancel timer message is within an arm timer message. | |
|
|
DWF_DS_15 - a shared data READ must be within an execution |
|---|---|
| This rule checks that a shared data READ is within an execution. | |
|
|
DWF_DS_16 - Logical component scenario involvement decomposition check |
|---|---|
| This rule checks the refinement needed for decomposed Logical components. | |
|
|
DWF_DS_17 - A sequence message kind must be coherent with its transmission protocol |
|---|---|
| This rule checks that a sequence message kind is coherent with its transmission protocol. | |
|
|
DWF_DS_18 - OES/ES Sequence Messages consistency check |
|---|---|
| This rule checks that Sequence Messages in OES or ES scenarios are consistent with their associated Component Exchange or Functional Exchange. | |
|
|
DWF_DS_19 - OAS/FS Sequence Messages consistency check |
|---|---|
| This rule checks that Sequence Messages in OAS or FS scenarios are consistent with their associated Functional Exchange. | |
|
|
DWF_DS_20 - OES/ES State Fragments related function allocation consistency |
|---|---|
| Check that the AbstractFunction related to the current StateFragment is allocated by the Component (or a sub Component) associated to the instance role. | |
|
|
DWF_DS_21 - OES/ES State Fragments related Mode/State consistency |
|---|---|
| Check that the Mode/State related to the current StateFragment is contained by the Component associated to the instance role. | |
|
|
DWF_DS_22 - OAS/FS AbstractFunction availability in Mode/State |
|---|---|
| Check that the AbstractFunction associated to the instance role is available for the Mode/State related to the current StateFragment. | |
|
|
DWF_DS_23 - Invalid referenced scenario |
|---|---|
| Check that the interactionUse is referencing a Scenario that exists at the current Architectural Level. | |
|
|
DWF_DS_24 - Instance role has different name compared to represented instance |
|---|---|
| Check that the Instance Role has the same name as its Represented Instance. | |